]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1145de) | patch
overview: Provide public access for search provider registration
authorAndy Holmes <andrew.g.r.holmes@gmail.com>
Thu, 1 Jun 2023 22:54:59 +0000 (15:54 -0700)
committerAndy Holmes <andyholmes@gnome.org>
Thu, 1 Jun 2023 22:54:59 +0000 (15:54 -0700)
commit32b910996722afd24dff7df833613457ccc4f72b
tree946effb397fc4ebcf714906286c9214b56737cedtree | snapshot
parente1145defa9b27839607c26cf9962b938d7eef8f0commit | diff
overview: Provide public access for search provider registration

Provide a reasonably public way to register and unregister search
providers, without adding too much API.

`Main.overview.searchController` provides access that may be generally
useful, while `SearchController.addProvider()` and
`SearchController.removeProvider()` provide a simple interface for
extensions.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2783>
js/ui/overview.js diff | blob | history
js/ui/overviewControls.js diff | blob | history
js/ui/searchController.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.